Understanding Tool-Integrated Reasoning
arxiv.org·14h
🔗Constraint Handling
Dependent types I › Universes, or types of types
jonmsterling.com·11h·
Discuss: Hacker News
🔤Type Theory
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·4h·
Discuss: Hacker News
🌊Stream Processing
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·5h·
Discuss: Hacker News
🔗Concatenative Programming
BW21-CBV-Kit——Home Video Monitoring and Playback System
hackster.io·12h
🎬Video Codecs
Model Merging – A Biased Overview
crisostomi.github.io·1h·
Discuss: Hacker News
🔲Cellular Automata
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·1h·
Discuss: DEV
🔗Constraint Handling
Go experiments with SIMD
golangweekly.com·18h
💧Liquid Types
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
arxiv.org·14h
💻Local LLMs
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·6h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·16h·
Discuss: Hacker News
👑Isabelle
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·2h
⚙️Operating System Design
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·2d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
The Grammar According to West
dwest.web.illinois.edu·4h·
Discuss: Hacker News
🔬Lean